Towards formal verification in a component-based reuse methodology
- Författare
- Linköpings universitet Daniel Karlsson, teknisk doktor
- (Daniel Karlsson., Licentiatavhandling Linköping : Linköpings universitet, 2003)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Computer and Information Science, Linköpings universitet | 2003 | Sverige, Linköping | 187 sidor. ill. |